206 ideas
19359 | Leibniz aims to give coherent rational support for empiricism [Leibniz, by Perkins] |
13086 | Metaphysics is a science of the intelligible nature of being [Leibniz, by Cover/O'Leary-Hawthorne] |
16710 | Leibniz tried to combine mechanistic physics with scholastic metaphysics [Leibniz, by Pasnau] |
12997 | Analysis is the art of finding the middle term [Leibniz] |
16897 | Reason is the faculty for grasping apriori necessary truths [Leibniz, by Burge] |
13009 | A reason is a known truth which leads to assent to some further truth [Leibniz] |
3346 | For Leibniz rationality is based on non-contradiction and the principle of sufficient reason [Leibniz, by Benardete,JA] |
12963 | Opposing reason is opposing truth, since reason is a chain of truths [Leibniz] |
19360 | General principles, even if unconscious, are indispensable for thinking [Leibniz] |
3347 | Leibniz said the principle of sufficient reason is synthetic a priori, since its denial is not illogical [Leibniz, by Benardete,JA] |
12983 | A nominal definition is of the qualities, but the real definition is of the essential inner structure [Leibniz] |
12982 | One essence can be expressed by several definitions [Leibniz] |
12976 | If our ideas of a thing are imperfect, the thing can have several unconnected definitions [Leibniz] |
12984 | Real definitions, unlike nominal definitions, display possibilities [Leibniz] |
12980 | Genus and differentia might be swapped, and 'rational animal' become 'animable rational' [Leibniz] |
8627 | Leibniz is inclined to regard all truths as provable [Leibniz, by Frege] |
13000 | Truth is correspondence between mental propositions and what they are about [Leibniz] |
15901 | Trying to represent curves, we study arbitrary functions, leading to the ordinals, which produces set theory [Cantor, by Lavine] |
13444 | Cantor's Theorem: for any set x, its power set P(x) has more members than x [Cantor, by Hart,WD] |
18098 | Cantor proved that all sets have more subsets than they have members [Cantor, by Bostock] |
15505 | If a set is 'a many thought of as one', beginners should protest against singleton sets [Cantor, by Lewis] |
10865 | The continuum is the powerset of the integers, which moves up a level [Cantor, by Clegg] |
10701 | Cantor showed that supposed contradictions in infinity were just a lack of clarity [Cantor, by Potter] |
13016 | The Axiom of Union dates from 1899, and seems fairly obvious [Cantor, by Maddy] |
14199 | Cantor's sets were just collections, but Dedekind's were containers [Cantor, by Oliver/Smiley] |
12992 | Logic teaches us how to order and connect our thoughts [Leibniz] |
10056 | At bottom eternal truths are all conditional [Leibniz] |
12974 | People who can't apply names usually don't understand the thing to which it applies [Leibniz] |
13002 | It is always good to reduce the number of axioms [Leibniz] |
10082 | There are infinite sets that are not enumerable [Cantor, by Smith,P] |
13483 | Cantor's Paradox: the power set of the universe must be bigger than the universe, yet a subset of it [Cantor, by Hart,WD] |
8710 | The powerset of all the cardinal numbers is required to be greater than itself [Cantor, by Friend] |
15910 | Cantor named the third realm between the finite and the Absolute the 'transfinite' [Cantor, by Lavine] |
13008 | Geometry, unlike sensation, lets us glimpse eternal truths and their necessity [Leibniz] |
15905 | Cantor proved the points on a plane are in one-to-one correspondence to the points on a line [Cantor, by Lavine] |
9983 | Cantor took the ordinal numbers to be primary [Cantor, by Tait] |
17798 | Cantor presented the totality of natural numbers as finite, not infinite [Cantor, by Mayberry] |
9971 | Cantor introduced the distinction between cardinals and ordinals [Cantor, by Tait] |
9892 | Cantor showed that ordinals are more basic than cardinals [Cantor, by Dummett] |
14136 | A cardinal is an abstraction, from the nature of a set's elements, and from their order [Cantor] |
15906 | Cantor tried to prove points on a line matched naturals or reals - but nothing in between [Cantor, by Lavine] |
11015 | Cantor's diagonal argument proved you can't list all decimal numbers between 0 and 1 [Cantor, by Read] |
15903 | A real is associated with an infinite set of infinite Cauchy sequences of rationals [Cantor, by Lavine] |
18251 | Irrational numbers are the limits of Cauchy sequences of rational numbers [Cantor, by Lavine] |
9147 | Number cannot be defined as addition of ones, since that needs the number; it is a single act of abstraction [Fine,K on Leibniz] |
12956 | Only whole numbers are multitudes of units [Leibniz] |
15902 | Irrationals and the Dedekind Cut implied infinite classes, but they seemed to have logical difficulties [Cantor, by Lavine] |
15908 | It was Cantor's diagonal argument which revealed infinities greater than that of the real numbers [Cantor, by Lavine] |
13464 | Cantor proposes that there won't be a potential infinity if there is no actual infinity [Cantor, by Hart,WD] |
10112 | The naturals won't map onto the reals, so there are different sizes of infinity [Cantor, by George/Velleman] |
17889 | CH: An infinite set of reals corresponds 1-1 either to the naturals or to the reals [Cantor, by Koellner] |
8733 | The Continuum Hypothesis says there are no sets between the natural numbers and reals [Cantor, by Shapiro] |
13447 | Cantor: there is no size between naturals and reals, or between a set and its power set [Cantor, by Hart,WD] |
10883 | Cantor's Continuum Hypothesis says there is a gap between the natural and the real numbers [Cantor, by Horsten] |
13528 | Continuum Hypothesis: there are no sets between N and P(N) [Cantor, by Wolf,RS] |
9555 | Continuum Hypothesis: no cardinal greater than aleph-null but less than cardinality of the continuum [Cantor, by Chihara] |
15893 | Cantor's theory concerns collections which can be counted, using the ordinals [Cantor, by Lavine] |
18174 | Cantor extended ordinals into the transfinite, and they can thus measure infinite cardinalities [Cantor, by Maddy] |
18173 | Cardinality strictly concerns one-one correspondence, to test infinite sameness of size [Cantor, by Maddy] |
19375 | The continuum is not divided like sand, but folded like paper [Leibniz, by Arthur,R] |
18080 | A tangent is a line connecting two points on a curve that are infinitely close together [Leibniz] |
18081 | Nature uses the infinite everywhere [Leibniz] |
12937 | We shouldn't just accept Euclid's axioms, but try to demonstrate them [Leibniz] |
10232 | Property extensions outstrip objects, so shortage of objects caused the Caesar problem [Cantor, by Shapiro] |
18176 | Pure mathematics is pure set theory [Cantor] |
8631 | Cantor says that maths originates only by abstraction from objects [Cantor, by Frege] |
12932 | The idea of being must come from our own existence [Leibniz] |
7565 | Leibniz proposes monads, since there must be basic things, which are immaterial in order to have unity [Leibniz, by Jolley] |
12966 | Objects of ideas can be divided into abstract and concrete, and then further subdivided [Leibniz] |
12993 | Have five categories - substance, quantity, quality, action/passion, relation - and their combinations [Leibniz] |
12989 | Our true divisions of nature match reality, but are probably incomplete [Leibniz] |
10419 | If relations can be reduced to, or supervene on, monadic properties of relata, they are not real [Leibniz, by Swoyer] |
13078 | Relations aren't in any monad, so they are distributed, so they are not real [Leibniz] |
12959 | We discern active power from our minds, so mind must be involved in all active powers [Leibniz] |
12967 | I use the word 'entelechy' for a power, to include endeavour, as well as mere aptitude [Leibniz] |
12965 | All occurrence in the depth of a substance is spontaneous 'action' [Leibniz] |
12999 | Substances are primary powers; their ways of being are the derivative powers [Leibniz] |
12713 | Forms have sensation and appetite, the latter being the ability to act on other bodies [Leibniz, by Garber] |
13087 | The essence of a thing is its real possibilities [Leibniz, by Cover/O'Leary-Hawthorne] |
5056 | Material or immaterial substances cannot be conceived without their essential activity [Leibniz] |
12969 | The active powers which are not essential to the substance are the 'real qualities' [Leibniz] |
12941 | There cannot be power without action; the power is a disposition to act [Leibniz] |
12990 | Real (non-logical) abstract terms are either essences or accidents [Leibniz] |
12939 | Wholly uniform things like space and numbers are mere abstractions [Leibniz] |
12701 | Leibniz moved from individuation by whole entity to individuation by substantial form [Leibniz, by Garber] |
12979 | The only way we can determine individuals is by keeping hold of them [Leibniz] |
12971 | If two individuals could be indistinguishable, there could be no principle of individuation [Leibniz] |
13098 | We use things to distinguish places and times, not vice versa [Leibniz] |
13105 | The laws-of-the-series plays a haecceitist role [Leibniz, by Cover/O'Leary-Hawthorne] |
13075 | No two things are quite the same, so there must be an internal principle of distinction [Leibniz] |
12953 | Fluidity is basic, and we divide into bodies according to our needs [Leibniz] |
16513 | Identity of a substance is the law of its persistence [Leibniz] |
12035 | Leibniz bases pure primitive entities on conjunctions of qualitative properties [Leibniz, by Adams,RM] |
12943 | Individuality is in the bond substance gives between past and future [Leibniz] |
13091 | Leibnizian substances add concept, law, force, form and soul [Leibniz, by Cover/O'Leary-Hawthorne] |
11855 | Substances cannot be bare, but have activity as their essence [Leibniz] |
7561 | Substances are essentially active [Leibniz, by Jolley] |
12970 | We can imagine two bodies interpenetrating, as two rays of light seem to [Leibniz] |
12986 | The essence of baldness is vague and imperfect [Leibniz] |
12715 | Leibniz strengthened hylomorphism by connecting it to force in physics [Leibniz, by Garber] |
12968 | A 'substratum' is just a metaphor for whatever supports several predicates [Leibniz] |
12931 | Particular truths are just instances of general truths [Leibniz] |
12811 | We can't know individuals, or determine their exact individuality [Leibniz] |
12981 | Essence is just the possibility of a thing [Leibniz] |
5057 | If you fully understand a subject and its qualities, you see how the second derive from the first [Leibniz] |
11878 | Leibniz's view (that all properties are essential) is extreme essentialism, not its denial [Leibniz, by Mackie,P] |
12987 | For some sorts, a member of it is necessarily a member [Leibniz] |
12884 | The same whole ceases to exist if a part is lost [Leibniz] |
12975 | We have a distinct idea of gold, to define it, but not a perfect idea, to understand it [Leibniz] |
12805 | If two people apply a single term to different resemblances, they refer to two different things [Leibniz] |
12806 | Locke needs many instances to show a natural kind, but why not a single instance? [Leibniz, by Jolley] |
11862 | Leibniz was not an essentialist [Leibniz, by Wiggins] |
12972 | Bodies, like Theseus's ship, are only the same in appearance, and never strictly the same [Leibniz] |
16504 | Two eggs can't be identical, because the same truths can't apply to both of them [Leibniz] |
5055 | No two things are totally identical [Leibniz] |
8650 | Things are the same if one can be substituted for the other without loss of truth [Leibniz] |
13828 | Necessary truths are those provable from identities by pure logic in finite steps [Leibniz, by Hacking] |
13084 | How can things be incompatible, if all positive terms seem to be compatible? [Leibniz] |
4307 | A reason must be given why contingent beings should exist rather than not exist [Leibniz] |
12978 | A perfect idea of an object shows that the object is possible [Leibniz] |
17079 | Proofs of necessity come from the understanding, where they have their source [Leibniz] |
15883 | Leibniz narrows down God's options to one, by non-contradiction, sufficient reason, indiscernibles, compossibility [Leibniz, by Harré] |
18822 | Each monad expresses all its compatible monads; a possible world is the resulting equivalence class [Leibniz, by Rumfitt] |
7837 | Leibniz proposed possible worlds, because they might be evil, where God would not create evil things [Leibniz, by Stewart,M] |
13080 | Leibniz has a counterpart view of de re counterfactuals [Leibniz, by Cover/O'Leary-Hawthorne] |
12998 | Understanding grasps the agreements and disagreements of ideas [Leibniz] |
19332 | For Leibniz, divine understanding grasps every conceivable possibility [Leibniz, by Perkins] |
12960 | We understand things when they are distinct, and we can derive necessities from them [Leibniz] |
13006 | Certainty is where practical doubt is insane, or at least blameworthy [Leibniz] |
12996 | I know more than I think, since I know I think A then B then C [Leibniz] |
13003 | The Cogito doesn't prove existence, because 'I am thinking' already includes 'I am' [Leibniz] |
5509 | Leibniz said dualism of mind and body is illusion, and there is only mind [Leibniz, by Martin/Barresi] |
7568 | Leibniz is an idealist insofar as the basic components of his universe are all mental [Leibniz, by Jolley] |
21253 | Descartes needs to demonstrate how other people can attain his clear and distinct conceptions [Leibniz] |
12933 | Arithmetic and geometry are implicitly innate, awaiting revelation [Leibniz] |
12991 | Children learn language fast, with little instruction and few definitions [Leibniz] |
12929 | All of our thoughts come from within the soul, and not from the senses [Leibniz] |
12940 | What is left of the 'blank page' if you remove the ideas? [Leibniz] |
19358 | Colour and pain must express the nature of their stimuli, without exact resemblance [Leibniz] |
12948 | A pain doesn't resemble the movement of a pin, but it resembles the bodily movement pins cause [Leibniz] |
13005 | Truth arises among sensations from grounding reasons and from regularities [Leibniz] |
12947 | We only believe in sensible things when reason helps the senses [Leibniz] |
4302 | You may experience a universal truth, but only reason can tell you that it is always true [Leibniz] |
12930 | The senses are confused, and necessities come from distinct intellectual ideas [Leibniz] |
13001 | Our sensation of green is a confused idea, like objects blurred by movement [Leibniz] |
12949 | Light takes time to reach us, so objects we see may now not exist [Leibniz] |
5053 | The instances confirming a general truth are never enough to establish its necessity [Leibniz] |
13092 | The essence of substance is the law of its changes, as in the series of numbers [Leibniz] |
12977 | We will only connect our various definitions of gold when we understand it more deeply [Leibniz] |
5054 | Animal thought is a shadow of reasoning, connecting sequences of images by imagination [Leibniz] |
19354 | Leibniz introduced the idea of degrees of consciousness, essential for his monads [Leibniz, by Perkins] |
12944 | It is a serious mistake to think that we are aware of all of our perceptions [Leibniz] |
12951 | Abstraction attends to the general, not the particular, and involves universal truths [Leibniz] |
19364 | Volition automatically endeavours to move towards what it sees as good (and away from bad) [Leibniz] |
12942 | Memory doesn't make identity; a man who relearned everything would still be the same man [Leibniz] |
12973 | We know our own identity by psychological continuity, even if there are some gaps [Leibniz] |
7841 | We think we are free because the causes of the will are unknown; determinism is a false problem [Leibniz] |
19368 | The will determines action, by what is seen as good, but it does not necessitate it [Leibniz] |
5510 | Leibniz has a panpsychist view that physical points are spiritual [Leibniz, by Martin/Barresi] |
7564 | Occasionalism give a false view of natural laws, miracles, and substances [Leibniz, by Jolley] |
12935 | Every feeling is the perception of a truth [Leibniz] |
12938 | An idea is an independent inner object, which expresses the qualities of things [Leibniz] |
12945 | Thoughts correspond to sensations, but ideas are independent of thoughts [Leibniz] |
12950 | We must distinguish images from exact defined ideas [Leibniz] |
19357 | The idea of green seems simple, but it must be compounded of the ideas of blue and yellow [Leibniz] |
12995 | The name 'gold' means what we know of gold, and also further facts about it which only others know [Leibniz] |
12807 | The word 'gold' means a hidden constitution known to experts, and not just its appearances [Leibniz] |
8715 | Infinities expand the bounds of the conceivable; we explore concepts to explore conceivability [Cantor, by Friend] |
19372 | Concepts are ordered, and show eternal possibilities, deriving from God [Leibniz, by Arthur,R] |
13454 | Cantor says (vaguely) that we abstract numbers from equal sized sets [Hart,WD on Cantor] |
13467 | Leibniz was the first modern to focus on sentence-sized units (where empiricists preferred word-size) [Leibniz, by Hart,WD] |
12946 | The idea of the will includes the understanding [Leibniz] |
19365 | Limited awareness leads to bad choices, and unconscious awareness makes us choose the bad [Leibniz, by Perkins] |
12964 | If would be absurd not to disagree with someone's taste if it was a taste for poisons [Leibniz] |
8110 | Leibniz identified beauty with intellectual perfection [Leibniz, by Gardner] |
7569 | Humans are moral, and capable of reward and punishment, because of memory and self-consciousness [Leibniz, by Jolley] |
12958 | Love is pleasure in the perfection, well-being or happiness of its object [Leibniz] |
12957 | The good is the virtuous, the pleasing, or the useful [Leibniz] |
12962 | Pleasure is a sense of perfection [Leibniz] |
12934 | We can't want everyone to have more than their share, so a further standard is needed [Leibniz] |
7574 | Natural law theory is found in Aquinas, in Leibniz, and at the Nuremberg trials [Leibniz, by Jolley] |
12936 | There are natural rewards and punishments, like illness after over-indulgence [Leibniz] |
12728 | Leibniz rejected atoms, because they must be elastic, and hence have parts [Leibniz, by Garber] |
19374 | Microscopes and the continuum suggest that matter is endlessly divisible [Leibniz] |
7560 | Leibniz struggled to reconcile bodies with a reality of purely soul-like entities [Jolley on Leibniz] |
16683 | Leibniz eventually said resistance, rather than extension, was the essence of body [Leibniz, by Pasnau] |
11856 | Qualities should be predictable from the nature of the subject [Leibniz] |
12994 | Gold has a real essence, unknown to us, which produces its properties [Leibniz] |
12808 | Part of our idea of gold is its real essence, which is not known to us in detail [Leibniz] |
12725 | Leibniz wanted to explain motion and its laws by the nature of body [Leibniz, by Garber] |
16507 | The law within something fixes its persistence, and accords with general laws of nature [Leibniz] |
7859 | Leibniz had an unusual commitment to the causal completeness of physics [Leibniz, by Papineau] |
12985 | Maybe motion is definable as 'change of place' [Leibniz] |
15307 | Leibniz uses 'force' to mean both activity and potential [Leibniz] |
10863 | Cantor proved that three dimensions have the same number of points as one dimension [Cantor, by Clegg] |
12952 | Space is an order among actual and possible things [Leibniz] |
12955 | If there were duration without change, we could never establish its length [Leibniz] |
12954 | God's essence is the source of possibilities, and his will the source of existents [Leibniz] |
13465 | Only God is absolutely infinite [Cantor, by Hart,WD] |
1414 | A perfection is a simple quality, which is positive and absolute, and has no limit [Leibniz] |
12988 | The universe contains everything possible for its perfect harmony [Leibniz] |
21252 | Perfections must have overlapping parts if their incompatibility is to be proved [Leibniz] |
19328 | Without the principle of sufficient reason, God's existence could not be demonstrated [Leibniz] |
3889 | God's existence is either necessary or impossible [Leibniz, by Scruton] |
7842 | Leibniz was closer than Spinoza to atheism [Leibniz, by Stewart,M] |
5058 | Animals have thought and sensation, and indestructible immaterial souls [Leibniz] |